perm filename FACTS[ESS,JMC]6 blob
sn#193460 filedate 1975-12-19 generic text, type T, neo UTF8
1 bushel of soy beans = 60 lbs
1 bushel of corn = 56 lbs
1 metric ton of wheat = 37 bushels
to produce a barrel of oil from shale requires about 4.25 barrels of water,
(derived from NYT 5 Mar 74 story asserting that to produce 100,000 barrels
per year would require 20,000 acre feet per year)
Gosper algorithm for pi
c←5;b←8;r←1;
loop: c←4096c+(42r+5)b; b ← 8b ((2r+1)/(r+1))↑3; r ← r+1;
The approximation is 2↑(12r-8)/c.
Each trip around the loop gives 6r-1 bits.
Energy content of fuels
fuel Kjoule/g Kjoule/cc
Hydrogen 124.7 8.7
Methanol 20.1 15.9
Gasoline 44.3 30.9
Hydride VH3 4.7 28.4
Coal C28H42 32.2 41.8
Wood C.32H.40O.22 17.5 14.2
H2 gas 124.7 .0010
methane gas 61.1 .0044
Cost of fuels
fuel source cost/10**6 Kjoule
Gasoline crude oil 1.00
Methanol nat. gas 1.49
coal 1.40
lignite 1.18
methane wellhead .14-.37
LNG imported .76-.95
coal .76-.95
hydrogen gas nat. gas .92
coal 1.25
liquid hydrog. 2.37
Gasoline at $0.118/gal. nat gas at $0.40 per 1000 cu ft.
coal at $7/ton or $0.25/million Kjoule. Lignite at $2/ton or
$0.25/million Kjoule. Science 28 Dec 1973 - T.B. Reed and R. M. Lerner
SOME RANDOM USEFUL FACTS
40,000 miles interstate highway, 100,000 county and state,
3,000,000 surfaced
11x10↑9 cost per yr from accidents.
If everyone had $4K per yr, then 19% increase in cars.
Robert Hemmes, Urban Mass Transportation, Office of Research
Godel lemma from Montague - Syntactical treatments of modality with
corollaries on reflexion principles and finite axiomatizability.
lemma 1. If T is a theory in which all one-place recursive functions
of natural numbers are functionally numerable, α if a formula of T
whose only free variable is u, and E is a one-place recursive function
of expressions, then there is a sentence β of T such that
{It is provable in T} β ≡ α(numeral-form(g.n(E(β)))).
∂03-DEC-75 0152 JMC
Q. What is Life? - A. 2 or 3 to survive, 3 to be born.